ia64 build fix.
authorKeir Fraser <keir.fraser@citrix.com>
Thu, 27 Mar 2008 14:43:20 +0000 (14:43 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Thu, 27 Mar 2008 14:43:20 +0000 (14:43 +0000)
Signed-off-by: Alex Williamson <alex.williamson@hp.com>
xen/arch/ia64/vmx/save.c
xen/arch/ia64/xen/dom_fw_common.c
xen/arch/ia64/xen/dom_fw_domu.c

index f0e9145f91964346ad1fe2f97a19fa641495c6be..2a060678e4bd976d30f21f717e22970416d45a88 100644 (file)
@@ -21,6 +21,7 @@
  */
 
 #include <xen/types.h>
+#include <public/xen.h>
 #include <xen/hvm/save.h>
 
 void arch_hvm_save(struct domain *d, struct hvm_save_header *hdr)
index 5d9864e4a00473d290755c07c171a8222a04d297..0cb7b76a109affb2d19a206a90b0cdcc29ccaa1b 100644 (file)
@@ -20,6 +20,7 @@
 #include <assert.h>
 #include <inttypes.h>
 
+#include <xen/xen.h>
 #include <xen/arch-ia64.h>
 #include <asm/bundle.h>
 
index fe8b346fee964af6fa4933259ec4d4ea72a7c311..514e40fc9ccec1bac1bbb8ec55ccc367562be2d7 100644 (file)
@@ -37,6 +37,7 @@
 #include <errno.h>
 #include <inttypes.h>
 
+#include <xen/xen.h>
 #include <xen/arch-ia64.h>
 
 #include "xg_private.h"